ارایه راهبردی مبتنی بر فناوری وب معنایی برای تولید نرم افزار

استفاده از فن آوری وب معنایی در مهندسی نرم افزار یکی از راه های غلبه کردن بر مشکلات کنونی مهندسی نرم افزار است؛ به طوری که امروزه توجه بسیاری از محققان به این مقوله معطوف شده است و روش های مختلفی در این راستا ارایه کرده اند. برخی از این روش ها هستی شناسی محور بوده و بر تولید کد نرم افزار از مدل های معنایی متمرکزند و شماری دیگر، مبتنی بر هستی شناسی بوده و از فن آوری وب معنایی به عنوان ابزار کمکی در فرآیند های کلاسیک نرم افزار استفاده کرده اند. در این پایان نامه برای تولید سریع نرم افزار، یک روش معنایی جدید با نام srad، پیشنهاد شده است. در این روش، مدل ایستای دامنه در هستی شناسی دامنه و مدل پویای آن در هستی شناسی برنامه توصیف می شود. هستی شناسی دامنه در حقیقت جایگزینی قدرتمند برای مدل داده است زیرا در این هستی شناسی ضمن اینکه مانند پایگاه های داده، داده های نرم افزار ذخیره می شود، زمینه برای استفاده از استدلال گرها و موتورهای قواعد نیز مهیا می شود. تمام عملکردهای نرم افزار در هستی شناسی برنامه توصیف و پیاده سازی می شود. می توان بر اساس چارت عملیاتی سیستم، عملکردهای نرم افزار را در این هستی شناسی به صورت سلسله مراتبی توصیف و پیاده سازی کرد. برای پیاده سازی عملکردها در هستی شناسی برنامه، از قواعد وب معنایی بهره گرفته شده است. در حقیقت بدنه یک عملکرد با استفاده از لیست مرتبی از قواعد قابل پیاده سازی است. برای اجرای عملکردهای توصیف شده در هستی شناسی برنامه می توان از موتور های قواعد کلاسیک مانند jess بهره گرفت ولی برای افزایش کارایی، در راستای این پایان نامه، موتور اجرای re طراحی و پیاده سازی شده است. این موتور ضمن پشتیبانی از انواع اتم های مختلف، قادر است عملکردهای توصیف شده در هستی شناسی برنامه را با کارایی مطلوب به اجرا در آورد. برخلاف اکثر روش های موجود که سعی در ایجاد کد نرم افزار دارند، با استفاده از روش srad در حقیقت مدلی از نرم افزار ایجاد شده است که قابل اجرا است. به عبارت دیگر منطق کاری نرم افزار به جای اینکه در پس کد های آن نهان شود، در یک مدل رسمی توصیف می شود. چنین مدلی ضمن انتزاعی تر کردن فرآیند تولید، می تواند فرآیند نگهداری نرم افزار را نیز بسیار آسان کند. srad روشی معنایی برای تولید سریع نرم افزارهایی است که نگهداری بسیار آسانی دارند.